Safety-critical medical device development using the UPP2SF model translation tool
نویسندگان
چکیده
منابع مشابه
A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool
Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recal...
متن کاملSafety-Critical Medical Device Development Using the UPP2SF Model
Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recal...
متن کاملthe effect of using learning logs as a self-assessment tool on the syntactic development among iranian pre-intermediate efl learners
چکیده: هدف از انجام این پژوهش ،بررسی استفاده از یادداشتهای یادگیری به عنوان یکی از ابزار های خود ارزشیابی بر افزایش مهارت دستوری (صورتهای شرطی و مجهول) زبان آموزان در مقطع پیش متوسطه بوده است .بدین منظور یک تست استاندارد در مقطع پیش متوسطه بین 90 نفر زبان آموز در سنین 15 تا 20 سال در آموزشگاه زبان انگلیسی امین و پارسا در شهرستان شاهرود برگزار شد از میان این افراد 60 فراگیر انتخاب شدند. و این 6...
Design Tool Assessment for Safety-Critical Software Development
The paper presents taxonomy of criteria and procedures for evaluating software development tools used in safety-critical real-time systems. The ultimate purpose of the research is to provide a base for creation of guidelines for the tool certification process. The specific application area is airborne software and appropriate references are made to the accepted RTCA DO-178B guidelines. The soft...
متن کاملDevelopment Of Automatic Parser Tool For Safety Critical Automobile Software
In accession to the growing use and complexity of the software in safety critical automotive systems, the testing for its safety violation became more imperative. This necessitated the development of an automated parser tool for the software of the automotive system in order to ensure its safety. This tool is developed with intent to verify and validate whether the automobile system software wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2014
ISSN: 1539-9087,1558-3465
DOI: 10.1145/2584651